1. <A> Roadmap for Formal Property Verification
Author: \ by Pallab Dasgupta
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
Classification :
E-Book
,
2. A roadmap for formal property verificatio
Author: / by Pallab Dasgupta
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Verification
Classification :
TK
,
7874
.
58
,.
D37
,
2006
3. A roadmap for formal property verification
Author: / by Pallab Dasgupta
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Verification
Classification :
TK
7874
.
58
.
D37
2006
